G. Bellin, V. de Paiva, E. Ritter; 2003; "Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic" - Internet Explorer 2.0

G. Bellin, V. de Paiva, E. Ritter; 2003; "Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic"

https://www.researchgate.net/publication/2858332_Extended_Curry-Howard_Correspondence_for_a_Basic_Constructive_Modal_Logic

Memo

Gianluigi Bellin

Valeria De Paiva